翻訳と辞書 Words near each other ・ William Almer ・ William Alnwick ・ William Aloisio ・ William Alonso ・ William Aloysius O'Connor ・ William Alphonsus Scott ・ William Alston ・ William Alston (disambiguation) ・ William Alston Hutchinson ・ William Alston Rives House ・ William Alvah Stewart ・ William Alves (disambiguation) ・ William Alves (footballer, born 1987) ・ William Alves Boys ・ William Alves de Oliveira ・ William Alvin Howard ・ William Alvin Lloyd ・ William Alvin Pittenger ・ William Alvord ・ William Alwyn ・ William Amamoo ・ William Amaral de Andrade ・ William Ambrose ・ William Ambrose (disambiguation) ・ William Ambrose (Emrys) ・ William Ambrose Morehead ・ William Ambrose Shedd ・ William Ambrose Wright ・ William Amcotts-Ingilby ・ William Amed Demasson Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク William Alvin Howard ： ウィキペディア英語版 William Alvin Howard William Alvin Howard (born 1926) is a proof theorist best known for his work demonstrating formal similarity between intuitionistic logic and the simply typed lambda calculus that has come to be known as the Curry–Howard correspondence. He has also been active in the theory of proof-theoretic ordinals. He earned his Ph.D. at the University of Chicago in 1956 for a dissertation entitled "k-fold recursion and well-ordering".〔(【引用サイトリンク】 title=Holdings: k-fold recursion and well-ordering )〕 He was a student of Saunders Mac Lane. The Howard ordinal (also known as the Bachmann–Howard ordinal) was named after him. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「William Alvin Howard」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.